- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by P. C. Gilmore
14 found
Order:
- An examination of the geometry theorem machine.P. C. Gilmore - 1970 - Artificial Intelligence 1 (3-4):171-187.
- Meeting of the association for symbolic logic.P. C. Gilmore, Donald Martin & Elliott Mendelson - 1975 - Journal of Symbolic Logic 40 (2):299-304.
- Meeting of the Association for Symbolic Logic, New York, 1974.P. C. Gilmore, Donald Martin & Elliott Mendelson - 1975 - Journal of Symbolic Logic 40 (2):299-304.
- Paul C. Gilmore. Logicism renewed: logical foundations for mathematics and computer science. Lecture Notes in Logic, vol. 23. Association for Symbolic Logic / A K Peters, Ltd., Wellesley, Massachusetts, 2005, xvii + 230 pp.P. C. Gilmore & James H. Andrews - 2007 - Bulletin of Symbolic Logic 13 (1):104-105.
- Some forms of completeness.P. C. Gilmore - 1962 - Journal of Symbolic Logic 27 (3):344-352.
- Dequoy N.. Axiomatique intuitionniste sans négation de la géométrie projective. Collection de logique mathématique, série A. Offset. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1955, 108 pp. [REVIEW]P. C. Gilmore - 1955 - Journal of Symbolic Logic 20 (2):174-175.
- Review: D. van Dantzig, Comments on Brouwer's Theorem on Essentially-Negative Predicates. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (2):195-195.
- Review: D. van Dantzig, Mathematique Stable et Mathematique Affirmative. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (3):323-324.
- Review: N. Dequoy, Axiomatique Intuitionniste sans Negation de la Geometrie Projective. [REVIEW]P. C. Gilmore - 1955 - Journal of Symbolic Logic 20 (2):174-175.
- van Dantzig D.. Comments on Brouwer's theorem on essentially-negative predicates. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 52 , pp. 949–957; also Indagationes mathematicae vol. 11 , pp. 347–355. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (2):195-195.
- van Dantzig D.. Mathématique stable et mathématique affirmative. Congrès International de Philosophie des Sciences, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, pp. 123–135. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (3):323-324.
- Valpola Veli. Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik. Mathematica Scandinavica, vol. 3 , pp. 107–114. [REVIEW]P. C. Gilmore - 1957 - Journal of Symbolic Logic 22 (4):380-380.
- Valpola Veli. Ein System der negationslosen Logik mit ausschliesslich realisierbaren Prädikaten. Acta philosophica Fennica, no. 9. Helsinki 1955, 247 pp. [REVIEW]P. C. Gilmore - 1957 - Journal of Symbolic Logic 22 (4):355-356.
- Weyl Hermann. Über die neue Grundlagenkrise der Mathematik. A reprint of 1924. Selecta Hermann Weyl, Birkhäuser Verlag, Basel and Stuttgart 1956, pp. 211–247.Weyl Hermann. Nachtrag Juni 1955. A reprint of 1924. Selecta Hermann Weyl, Birkhäuser Verlag, Basel and Stuttgart 1956, pp. 247–248. [REVIEW]P. C. Gilmore - 1957 - Journal of Symbolic Logic 22 (1):81-82.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-659b74868d-9pr2t uwo